منابع مشابه
The Effect of Standard and Extended Curing Time in Different Distances on Composite’s Degree of Conversion
Introduction: The aim of this study was to in-vestigate the effect of irradiation duration and distance of light tip to prepared samples in two different light curing unites on the degree of conversion of resin composite. Materials and Methods: Conventional halogen and blue Light emitting diode (LED) units were used for polymerization of an Opalis resin com-posite. The conversion measurements w...
متن کاملBinding-Time Analysis for Standard ML
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard ML except modules and we show the principles of how constraints can be used for binding-time analysis of Standard ML; in particular we show how to binding-time analyse nested pattern matching. To the best of our knowled...
متن کاملStandard Chinese Reading Time: A Preliminary Report
The assessment of communication tasks with the use of Chinese language in industrial and office environment has not yet been reported although it plays an important role in evaluating and improving performance of business practice. This paper presents the results of a work measurement study of developing elemental reading time per Chinese character and examining the factors such as font type, c...
متن کاملDistribution of Standard Frequency and Time Signals
This paper reviews the present methods of distributing standard frequency and time signals (SFTS), which include the use of high-frequency, low-frequency, and very-low-frequency radio signals, portable clocks, satellites, and RF cables and Lines. The range of accuracies attained with most of these systems is included along with an indication of the sources of error. Information is also included...
متن کاملVerifying Real-Time Systems with Standard Tools
The TTM/RTTL framework allows for the specification, development and verification of discrete real-time properties of reactive systems. Timed transition systems (TTMs) is the underlying computational model, and real-time temporal logic (RTTL) is the requirements specification language. In this paper, we provide a conversion procedure for mapping a timed transition system into a finite state fai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1882
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.os-3.81.15